package programme;
/**
 * 
 * Classe implémentant une variable d'un programme.
 *
 */
public class Variable {

	/** Numéro permettant d'identifier la variable */
	private int num;
	
	private int numAbsolue;
	
	/** Type de la variable*/
	private TypeVariable type;
	
	/** Bornes de la contrainte */
	private double borneMin = Double.NEGATIVE_INFINITY;
	private double borneMax = Double.POSITIVE_INFINITY;
	
	/** "Préfixe" de la variable */
	private VecteurVariables prefixe;

	public Variable(VecteurVariables v, int i, TypeVariable type) {
		prefixe = v;
		num = i;
		this.type = type;
		prefixe.addVariable(this);
	}
	
	public Variable(VecteurVariables v, int i, TypeVariable type, double min, double max) {
		this(v,i,type);
		borneMin = min;
		borneMax = max;
	}

	public VecteurVariables getPrefixe() {
		return prefixe;
	}

	public void setPrefixe(VecteurVariables prefixe) {
		this.prefixe = prefixe;
	}

	public double getBorneMin() {
		return borneMin;
	}

	public void setBorneMin(double borneMin) {
		this.borneMin = borneMin;
	}

	public double getBorneMax() {
		return borneMax;
	}

	public void setBorneMax(double borneMax) {
		this.borneMax = borneMax;
	}

	public int getNum() {
		return num;
	}

	public void setNum(int num) {
		this.num = num;
	}

	public TypeVariable getType() {
		return type;
	}

	public void setType(TypeVariable type) {
		this.type = type;
	}
	
	@Override
	public String toString() {
		return prefixe.getNom() + num;
	}

	public int getNumAbsolue() {
		return numAbsolue;
	}

	public void setNumAbsolue(int numAbsolue) {
		this.numAbsolue = numAbsolue;
	}
	
	public boolean equals(Object o){
		if (o instanceof Variable) {
			Variable var = (Variable) o;
			//System.out.println(var + " = " + this + " ?");
			if( var.num == num && var.type == type && var.borneMin == borneMin 
					&& var.borneMax == borneMax && var.prefixe.getNom().equals(prefixe.getNom()) ){
				return true;
			}
		}
		return false;
	}
	
}
